Formal methods for industrial critical systems - a survey of applications
- Författare
- (Edited by Stefania Gnesi, Tiziana Margaria.)
- Genre
- Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| John Wiley & Sons Inc. | 2012 | New Jersey, Hoboken, New Jersey | 1 online resource. | 978-1-118-45989-8 |